<html>
<head><meta charset="utf-8"><title>meeting 2019.09.17 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html">meeting 2019.09.17</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="175884894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175884894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175884894">(Sep 17 2019 at 08:13)</a>:</h4>
<p>Hi everyone! I am probably not going to be able to attend the meeting, but I figured I could write a quick report anyway. I'm mainly working on the presentation for my thesis and [non-Polonius stuff]. Once The Great Renaming and my Other Things have settled down, I figure I'll go into fixing Niko's concerns about initialisation to make the tracking of move paths precise. For that, I would need some way to do verification, for example the Rust unit tests with Polonius (that I don't know how to run).</p>
<p>After that comes move errors, which I have code for in pencil on a sheet of paper somewhere. To unblock that would also require some way of verifying it (passing the results on to rustc and running the compiler's unit tests?), and a decision on how to report errors  that are not invalidation x live loans-errors (that is, the current set of errors). Of course, I can just make something up and fix it retroactively.</p>
<p>Other things I would like to work on in the reasonably near future is:</p>
<ul>
<li>moving my benchmarking script into the Polonius runner, possibly with the help of the Rust profiling tools, adding a CLI option like <code>--benchmark-facts</code> that would change Polonius' behaviour to take a path containing nll-facts for a number of crates, and produce results like <code>crate_folder_name,fn_name,initialisation_runtime,liveness_runtime,loan_vilations_runtime</code>, or something like that.</li>
<li>refactoring Polonius to split up the facts into separate structs for the three steps so that you can e.g. run Hybrid without re-computing initialisation and liveness twice in the worst case</li>
<li>clean up the fact generation code and in particular collect all the MIR walkers in one place</li>
<li>documenting liveness and initialisation, once they settle down a bit, in the book</li>
<li>re-implementing the benchmarking instrumentation, but both in Polonius and the fact-generation code in Rust.</li>
</ul>
<p>My idea is to make sure we start early with instrumenting things for benchmarking to reduce the temptation of doing premature optimisations based on no data when someone inevitably comes up with a "probably better way of doing this". Also, that this is something I can work on relatively independently and burn as little other person's time and attention as possible while still being productive.</p>



<a name="175896876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175896876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175896876">(Sep 17 2019 at 11:30)</a>:</h4>
<p>those are all of great interest and very useful <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="175896886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175896886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175896886">(Sep 17 2019 at 11:30)</a>:</h4>
<p>(also I like that The Great Renaming™ terminology is catching on ;)</p>



<a name="175934821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175934821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175934821">(Sep 17 2019 at 18:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I see you're firefighting some async issues, do you need to skip today's meeting ? (or need help with those for that matter)</p>



<a name="175938140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938140">(Sep 17 2019 at 19:01)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> — Albin mentioned they might not attend so it's likely going to be fairly sparse in here :)</p>



<a name="175938234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938234">(Sep 17 2019 at 19:02)</a>:</h4>
<p>I'll give my update about this week so at least people can ready about it async</p>



<a name="175938267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938267">(Sep 17 2019 at 19:03)</a>:</h4>
<p>I was supposed to read Albin's thesis and give feedback but I didn't manage to do so</p>



<a name="175938280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938280">(Sep 17 2019 at 19:03)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="175938291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938291">(Sep 17 2019 at 19:03)</a>:</h4>
<p>hey niko :)</p>



<a name="175938304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938304">(Sep 17 2019 at 19:03)</a>:</h4>
<p>Yeah, I don't have a ton to report -- I talked to <span class="user-mention" data-user-id="116113">@lqd</span> some last week and brought myself up to speed on what they'd done on equality -- I hope to put in a bit more time this week to look at subset errors</p>



<a name="175938315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938315">(Sep 17 2019 at 19:03)</a>:</h4>
<p>oh I forgot about my PR proposing names</p>



<a name="175938368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938368">(Sep 17 2019 at 19:04)</a>:</h4>
<p>I have some unread messages in this stream :)</p>



<a name="175938378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938378">(Sep 17 2019 at 19:04)</a>:</h4>
<p>one or two at most :)</p>



<a name="175938398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938398">(Sep 17 2019 at 19:04)</a>:</h4>
<p>so I'll continue, I have I think a good enough overview of inputs to be reviewed — that's <a href="https://hackmd.io/1xAIWaJ2SKW0AmtSndGM3w" target="_blank" title="https://hackmd.io/1xAIWaJ2SKW0AmtSndGM3w">here</a> any feedback is welcome</p>



<a name="175938414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938414">(Sep 17 2019 at 19:04)</a>:</h4>
<p>as for naming I have started renaming regions to origins and opened a PR — that's <a href="https://github.com/rust-lang/polonius/pull/125" target="_blank" title="https://github.com/rust-lang/polonius/pull/125">here</a></p>



<a name="175938419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938419">(Sep 17 2019 at 19:05)</a>:</h4>
<p>(I'll add all the links later)</p>



<a name="175938438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938438">(Sep 17 2019 at 19:05)</a>:</h4>
<p>I've updated the current status of the rustc test suite — that's <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view">here</a>, and opened a PR on the trivial cases, which is <a href="https://github.com/rust-lang/rust/pull/64554" target="_blank" title="https://github.com/rust-lang/rust/pull/64554">here</a></p>



<a name="175938461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938461">(Sep 17 2019 at 19:05)</a>:</h4>
<p>doing so I found there was a new OOM, which I also investigated — more details in the write-up linked earlier, that is <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view#31-wrapping-int-combinationsrs" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view#31-wrapping-int-combinationsrs">here</a> for cases 31 and 32</p>



<a name="175938479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938479">(Sep 17 2019 at 19:06)</a>:</h4>
<p>and it's very similar to the previous one, and also what we experienced with NLLs</p>



<a name="175938551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938551">(Sep 17 2019 at 19:06)</a>:</h4>
<p>e.g. here a lot of arguments/temporary variables coming from <code>assert_eq!</code> and the likes</p>



<a name="175938617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938617">(Sep 17 2019 at 19:07)</a>:</h4>
<p>and that's pretty much it :)</p>



<a name="175938656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938656">(Sep 17 2019 at 19:07)</a>:</h4>
<p>I plan to continue on The Great Renaming this week, adopting the new nomenclature in the "polonius inputs" doc and opening a PR for that</p>



<a name="175938723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938723">(Sep 17 2019 at 19:08)</a>:</h4>
<p><em>and read Albin's thesis</em></p>



<a name="175938903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938903">(Sep 17 2019 at 19:11)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="116113">@lqd</span> <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="175938937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938937">(Sep 17 2019 at 19:11)</a>:</h4>
<p>:)</p>



<a name="175938975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938975">(Sep 17 2019 at 19:11)</a>:</h4>
<p>Sounds like we should land <a href="https://github.com/rust-lang/polonius/pull/124" target="_blank" title="https://github.com/rust-lang/polonius/pull/124">https://github.com/rust-lang/polonius/pull/124</a> ?</p>



<a name="175938980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175938980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175938980">(Sep 17 2019 at 19:11)</a>:</h4>
<p>(I've added links the previous messages in case)</p>



<a name="175939037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939037">(Sep 17 2019 at 19:12)</a>:</h4>
<p>yeah let's do it</p>



<a name="175939050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939050">(Sep 17 2019 at 19:12)</a>:</h4>
<p>I'll get used to Nodes vs Points ;)</p>



<a name="175939055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939055">(Sep 17 2019 at 19:12)</a>:</h4>
<p>done</p>



<a name="175939064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939064">(Sep 17 2019 at 19:12)</a>:</h4>
<p>yeah, hmm, we'll see if I can</p>



<a name="175939072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939072">(Sep 17 2019 at 19:12)</a>:</h4>
<p>that is probably the least important one, I'd be fine to revert it, as long as we avoid single-letter names</p>



<a name="175939075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939075">(Sep 17 2019 at 19:12)</a>:</h4>
<p>which I think we sort of agreed to do anyway</p>



<a name="175939090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939090">(Sep 17 2019 at 19:13)</a>:</h4>
<p>about thos single letter names</p>



<a name="175939102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939102">(Sep 17 2019 at 19:13)</a>:</h4>
<p>I see <span class="user-mention" data-user-id="116113">@lqd</span> you opened <a href="https://github.com/rust-lang-nursery/polonius/issues/125" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/125">polonius#125</a></p>



<a name="175939104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939104">(Sep 17 2019 at 19:13)</a>:</h4>
<p>was it about them in generic types ?</p>



<a name="175939109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939109">(Sep 17 2019 at 19:13)</a>:</h4>
<p>or variables as well</p>



<a name="175939124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939124">(Sep 17 2019 at 19:13)</a>:</h4>
<p>mm I don't know, I was thinking also in the book</p>



<a name="175939130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939130">(Sep 17 2019 at 19:13)</a>:</h4>
<p>e.g., in "datalog rules"</p>



<a name="175939134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939134">(Sep 17 2019 at 19:13)</a>:</h4>
<p>I guess everywhere :)</p>



<a name="175939191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939191">(Sep 17 2019 at 19:14)</a>:</h4>
<p>:)</p>



<a name="175939198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939198">(Sep 17 2019 at 19:14)</a>:</h4>
<blockquote>
<p>was it about them in generic types ?</p>
</blockquote>
<p>I'm always unsure about this -- single letters are sometimes kind of nice to clearly separate out "generics", but I can't see a good argument for it</p>



<a name="175939222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939222">(Sep 17 2019 at 19:14)</a>:</h4>
<p>so for L0 I should eg switch to Loan0 everywhere ? comments, datafrog closures, etc ?</p>



<a name="175939235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939235">(Sep 17 2019 at 19:14)</a>:</h4>
<p>yeah, like that</p>



<a name="175939243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939243">(Sep 17 2019 at 19:14)</a>:</h4>
<p><code>Loan0</code> seems sort of strictly better, no?</p>



<a name="175939267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939267">(Sep 17 2019 at 19:15)</a>:</h4>
<p>surely :)</p>



<a name="175939276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939276">(Sep 17 2019 at 19:15)</a>:</h4>
<p>alright I'll take care of this this week then</p>



<a name="175939361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939361">(Sep 17 2019 at 19:16)</a>:</h4>
<p>Albin also posted an interesting message at the top of this thread about possible tasks we'd need to do</p>



<a name="175939429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939429">(Sep 17 2019 at 19:17)</a>:</h4>
<p>but in general we can talk more about this async for sure</p>



<a name="175939445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939445">(Sep 17 2019 at 19:17)</a>:</h4>
<p>these and the other ongoing topics</p>



<a name="175939843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939843">(Sep 17 2019 at 19:22)</a>:</h4>
<p>looks like we're close to the end, if so thank you for your time everyone :) have a nice evening/afternoon <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="175939894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.17/near/175939894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E17.html#175939894">(Sep 17 2019 at 19:23)</a>:</h4>
<p>(I'll still be around)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>